perm filename TBA1[1,JRA] blob sn#005845 filedate 1972-07-13 generic text, type T, neo UTF8
00100	¬P(X1 X2 X3 X6) ∨¬P(X4 X5 X6 X7) ∨ 
00200	¬P(X4 X5 X1 X8) ∨  ¬P(X4 X5 X3 X9) ∨  P(X8 X2 X9 X7);
00300	¬P(X4 X5 X1 X8) ∨ ¬P(X4 X5 X3 X9) ∨ ¬P(X8 X2 X9 X7) ∨ 
00400	¬P(X1 X2 X3 X6) ∨  P(X4 X5 X6 X7);
00500	P(X2 X1 X1 X1);
00600	P(X1 X2 C(X2) X1);
00650	P(X1 X1 X2 X1);
00675	P(X1 C(X1) X2 X2);;  ;
00700	P(C(B) B A A);;
00800	;